a^nb^n DPDA example